#include "syscall.h"

int a[3];
int b, c;
int lock,cv;
void ForkTest();

int
main()
{
	/*Print("Testing print\n\0");*/
	Fork(ForkTest);
	Fork(ForkTest);

	Exit(0);
    /* not reached */
}

void ForkTest()
{
	Exec("../test/halt2",13);
	Exit(0);
}
